Mehrpässige Compilation mit nalen Coalgebren

Prinzipiell lässt sich jedes Modell eines Softwaresystems einer von zwei Klassen zuordnen: den konstruktorbasierten white-box-Modellen oder den destruktorbasierten black-box-Modellen. Ein gröÿeres System setzt sich konstruktorbzw. destruktorbasierter Teilen zusammen. Endliche, durch kontextfreie Grammatiken beschriebene Datenstrukturen gehören in die erste Klasse, unendliche Datenstrukturen (z.B. Ströme) sowie Automaten, Transitionssysteme und alle Arten von zustandsund objektorientierten Modellen in die zweite Klasse. Konstruktorwie destruktorbasierte Modelle verwenden Funktionsterme. Im ersten Fall liefern diese die Bausteine des Modells selbst, im zweiten Fall beschreiben sie Versuchsaufbauten , mit deren Hilfe das Modell und sein Verhalten beobachtet wird und somit seine Bausteine identi ziert werden.